2

Satisfiability modulo theories : introduction and applications

Year:
2011
Language:
english
File:
PDF, 443 KB
english, 2011
6

Justifying Equality

Year:
2005
Language:
english
File:
PDF, 311 KB
english, 2005
12

When Software Impacts the Economy and Environment

Year:
2016
Language:
english
File:
PDF, 1.68 MB
english, 2016
26

The spider environment

Year:
1999
Language:
english
File:
PDF, 281 KB
english, 1999
27

Model-based Theory Combination

Year:
2008
Language:
english
File:
PDF, 314 KB
english, 2008
43

6 Years of SMT-COMP

Year:
2013
Language:
english
File:
PDF, 536 KB
english, 2013